/*
 * Copyright (c) 2008, Xiong Yingfei, the University of Tokyo
 * All rights reserved.
 */
package ac.jp.u_tokyo.SyncLib.language3;

import ac.jp.u_tokyo.SyncLib.language.EvaluationFailedException;

class ConjunctionDisjunctionMixedException extends EvaluationFailedException
{

	/**
	 * 
	 */
	private static final long serialVersionUID = 0L;

	@Override
	protected String getInternalMessage()
	{
		return "Both \';\' and \'|\' are used in one declaration.";
	}

	public ConjunctionDisjunctionMixedException(int line)
	{
		super(line);
	}
	
}